Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
UC
/
Paper
Formalisation vs. Understanding - A Case Study in Isabelle.
Declan Thompson
Venue
C
UC
Year
2015
Proceedings
UCNC
DBLP record
conf/uc/Thompson15 ↗
Browse the full
UC paper archive
.