Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Abstracting dependencies between software configuration items
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A C++ data model supporting reachability analysis and dead code detection
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
IEEE Transactions on Software Engineering
Abstracting dependencies between software configuration items
ACM Transactions on Software Engineering and Methodology (TOSEM)
NT'97 Proceedings of the USENIX Windows NT Workshop on The USENIX Windows NT Workshop 1997
LSSA'97 Proceedings of the 1997 Workshop on Large Scale System Administration of Windows NT
ATEC '97 Proceedings of the annual conference on USENIX Annual Technical Conference
Hi-index | 0.00 |