Login / Signup

Academia and industry meet: Some experiences of formal methods in practice.

Guy H. BroadfootPhilippa J. Broadfoot
Published in: APSEC (2003)
Keyphrases