Publications

Skip Navigation Links.

Search for publications:


Limit search to the fields

Publications from author Mei Lie,  
Mei Lie, ;
An integrated automated support for KADS formal model development
ECN-R--93-015 EN 1993; 51 pag.