Online Library TheLib.net » Author books / Книги автора Reinhard Wilhelm (auth.) Susanne Graf Laurent Mounier (eds.)
book Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
pdf
00
27.01.2024
0
0
Read online
book Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
pdf
00
27.01.2024
0
0
Read online