Back to Results
First PageMeta Content
Software testing / Hardware verification languages / Electronic engineering / Verification / Model checking / Software verification / KTH Royal Institute of Technology / E / Functional verification / Formal methods


Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014
Add to Reading List

Document Date: 2014-12-09 08:27:27

Open Document

File Size: 411,66 KB

Share Result on Facebook
UPDATE