Options
1999
Doctoral Thesis
Titel
Modular Reasoning in Isabelle
ThesisNote
Cambridge, Univ., Diss., 1999
Verlagsort
Cambridge