ECN part of TNO
: Home
EN
English
/
NL
Nederlands
Publications
Search for publications:
Limit search to the fields
Title/Abstract
Publicationnumber
Author
Publications from author Mei Lie,
Mei Lie, ;
An integrated automated support for KADS formal model development
ECN-R--93-015
1993;
51 pag.