Model Checking, Synthesis, and Learning المزيد من كتب Ernst-Rüdiger Olderog, Bernhard Steffen & Wang Yi

Provably Correct Systems

٢٠١٧

Verification of Sequential and Concurrent Programs

٢٠٠٩