Serdar Tasiran

ספרים שבהם Serdar Tasiran מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Verified Software. Theories, Tools and ExperimentsAndrew Reynolds

Verified Software. Theories, Tools and Experiments

Andrew Reynolds · 2024

Computer Aided VerificationIsil Dillig

Computer Aided Verification

Isil Dillig · 2020

Runtime VerificationShaz Qadeer

Runtime Verification

Shaz Qadeer · 2013