Login / Signup

Towards a Transformational Approach to Program Verification.

Myla ArcherAmy LoRonald A. Olsson
Published in: Softw. Test. Verification Reliab. (1999)
Keyphrases