Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The SGML handbook
Software Prototyping, Formal Methods, and VDM
Software Prototyping, Formal Methods, and VDM
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
SIGDOC '94 Proceedings of the 12th annual international conference on Systems documentation: technical communications at the great divide
Hi-index | 0.00 |