Verification, Model Checking, and Abstract InterpretationNeil Jones, Markus Müller-OlmHäftad, 2008561 kr
Verification, Model Checking, and Abstract InterpretationNeil Jones, Markus Müller-OlmHäftad, 2008561 kr