Back to Results
First PageMeta Content



Call for Papers The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSVaffiliated with 7th International Computer Science Symposium in Russia (CSR-2012), will be held
Add to Reading List

Document Date: 2014-02-04 15:10:28


Open Document

File Size: 54,20 KB

Share Result on Facebook
UPDATE