Code analysis of saftey-critical and real-time software using ASIS
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Hi-index | 0.02 |