![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 8 | Ina Kraan, Peter Baumann: Logical Frameworks as a Basis for Verification Tools: A Case Study. KBSE 1995: 36-43 | |
| 7 | Ina Kraan, Peter Baumann: Implementing Z in Isabelle. ZUM 1995: 355-373 |
Selection of 2 from 10 records - Ina Kraan has 9 coauthors
Copyright © 2009-12-07 by Michael Ley (ley@uni-trier.de)