Back to Results
First PageMeta Content
Theoretical computer science / Software engineering / Computing / Model checking / Specification language / Computer programming / Correctness / Formal methods / Cognitive science


Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de
Add to Reading List

Document Date: 2017-08-08 05:01:11


Open Document

File Size: 52,59 KB

Share Result on Facebook
UPDATE