Unintentional power in the design of computer systems
ACM SIGCAS Computers and Society
Experiences with specification and verification in LOTOS: a report on two case studies
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Hi-index | 0.00 |