Back to Results
First PageMeta Content



Modelling, Specification and Formal Analysis of Complex Software Systems - Precise Static Analysis of Programs with Dynamic Memory
Add to Reading List

Document Date: 2015-09-14 05:22:47


Open Document

File Size: 1,89 MB

Share Result on Facebook