High-integrity code generation for state-based formalisms
Proceedings of the 22nd international conference on Software engineering
A refinement-based approach to deriving train controllers
High integrity software
Semantics-Based Filtering: Logic Programming's Killer App?
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Proceedings of the 2005 ACM symposium on Applied computing
Towards a demonstrably-correct ada compiler
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Controllable combinatorial coverage in grammar-based testing
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
| Hi-index | 0.04 |