Towards the construction of verifiable software systems

L. Flon, A. N. Habermann

Available in: PDF

402 Downloads