Ina Kraan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

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