Structured Formal Development in Isabelle (2006)

by Maksym Bortin , EINAR BROCH JOHNSEN , Christoph Lüth
Venue:NORDIC JOURNAL OF COMPUTING
Citations:6 - 2 self