The formal description technique LOTOS: Results of the ESPRIT/SEDOS project

Bibliographic Details
Main Authors:	Križan, K. (Author), Eijk, Peter H. J. van (Author)
Format:	Article
Language:	English
Subjects:	technika deskriptívna formálna projekt ESPRIT/SEDOS články z novín a časopisov

Similar Items