The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 6418 : Programming and Software Engineering
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
pdf
Author:
Chris Ackermann Rance Cleaveland Samuel Huang Arnab Ray Charles Shelton (auth.) Howard Barringer Ylies Falcone Bernd Finkbeiner Klaus Havelund Insup Lee Gordon Pace Grigore Roşu Oleg Sokolsky Nikolai Tillmann (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
2
0
Read online
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
pdf
Author:
Chris Ackermann Rance Cleaveland Samuel Huang Arnab Ray Charles Shelton (auth.) Howard Barringer Ylies Falcone Bernd Finkbeiner Klaus Havelund Insup Lee Gordon Pace Grigore Roşu Oleg Sokolsky Nikolai Tillmann (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
1
0
Read online
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
pdf
Author:
Chris Ackermann Rance Cleaveland Samuel Huang Arnab Ray Charles Shelton (auth.) Howard Barringer Ylies Falcone Bernd Finkbeiner Klaus Havelund Insup Lee Gordon Pace Grigore Roşu Oleg Sokolsky Nikolai Tillmann (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
