Formally specifying electronic instruments
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology
WHY DENOTATIONAL?: Remarks on Applied Denotational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |