Login / Signup

Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects.

David R. Cok
Published in: ISoLA (4) (2018)
Keyphrases