Interactive Simplifier Tracing and Debugging in Isabelle
Work
Year: 2014
Type: book-chapter
Author Lars Hupel
Institution Technical University of Munich
Cites: 13
Cited by: 5
Related to: 10
FWCI: 1.938
Citation percentile (by year/subfield): 77.58
Topic: Web Data Mining and Analysis
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: green