R. H. Pierce;S. D. Bluck
IPSYS Software plc, Marlborough court, Pickford Street, Macclesfield, Cheshire SK11 6JD, UK;IPSYS Software plc, Marlborough court, Pickford Street, Macclesfield, Cheshire SK11 6JD, UK
Object-oriented development
IEEE Transactions on Software Engineering
The MALPAS analysis system for Ada
Proceedings of the Ada-Europe international conference on Ada : experiences and prospects: experiences and prospects