SPIN, Ball, Thomas, Rajamani, Sriram K.
Springer
|
CAV (Conference), Bochmann, Gregor V., Probst, David Karl
Springer-Verlag
|
SPIN, Bošnački, Dragan, Leue, Stefan
Springer
|
CAV (Conference), Hu, Alan J., Vardi, Moshe
Springer-Verlag
|
SPIN, Havelund, Klaus, 1955-, Penix, John, 1970-, Visser, Willem, 1968-
Springer
|
CAV (Conference), Emerson, E. Allen, Sistla, A. Prasad
Springer
|
SPIN, Federated Logic Conference, World Congress on Formal Methods in the Development of Computing Systems, Dams, Dennis
Springer
|
CAV (Conference), Alur, Rajeev, 1966-, Henzinger, T. A. (Thomas A.)
Springer-Verlag
|
International SPIN Workshop, Dwyer, Matthew, ACM Sigsoft., Association for Computing Machinery-Digital Library.
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
CAV (Conference), Hunt, Warren A., 1958-, Somenzi, Fabio
Springer
|
CAV (Conference), Berry, Gérard, 1948-, Comon, Hubert, Finkel, Alain
Springer
|
Legunsen, Owolabi., Rosu, Grigore
SpringerLink Books - AutoHoldings, Springer International Publishing AG
|