Using analytical approaches for high integrity Ada95 systems.

Wed, 01 Jan 1997 00:00:00 +0100

Stephen Michell, Dan Craigen, Mark Saaltink:
Using analytical approaches for high integrity Ada95 systems. IRTAW 1997: 65-70