Model Checking

02b SPINBasics Print

Volume11 Issue1 Verification Horizons Publication Hr

Module Metrics Soc Verification Session3 What Can Metrics Tell Us Ameyer

[Beezer R.a.] a First Course in Linear Algebra(BookFi.org)

spin promela