ד"ר הלל קוגלר אימות פורמלי וסינתזה 83-691
 |
Model Checking Edmund M Clarke Jr. [and Four Others] Second edition Cambridge, Massachusetts: The MIT Press, 2019 004.21 CLA m2 Full Text |
 |
Temporal Verification of Reactive Systems : Safety Zohar Manna, Amir Pnueli. New York: Springer, 2013. 005.131 MAN t eBook |
תאריך עדכון אחרון : 02/11/2020
