Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Modeling deflection networks: design and specification
Proceedings of the 1999 ACM symposium on Applied computing
Hi-index | 0.00 |