Anna Mikajlova

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000

1 Anna Mikajlova: Combining Code with Specifications. How to document and verify frameworks. L'OBJET 6(1): (2000)