|
|
|
O. Nierstrasz
,
Michel Lemoine
:
Software Engineering - ESEC/FSE'99
, 7th European Software Engineering Conference; Toulouse, Lecture Notes in Comput
, [0070]
, <SSW>
|
|
|
Korbinian Herrmann
,
Bernd Bruegge
:
Software Engineering 2008
, [1554]
, <SSW>
|
|
|
Mohsen Rezagholi
,
Harald Gläser
:
Software-Technologien und -Prozesse
, IT-Sicherheit und Mobile Systeme Tagungsband/Proceeding zur 3. Konferenz STeP 2012, Hochschule Furtwangen, 10.5.2012
, [1847]
, <SSW>
|
|
|
Baudouin Le Charlier
:
Static Analysis (SAS'94)
, Proceedings of the First International Symposium; Namur
, [0096]
, {17060}
, <SSW>
|
|
|
Alan Mycroft
:
Static Analysis (SAS'95)
, Proceedings of the Second International Symposium; Glasgow 1995
, [0097]
, {17061}
, <SSW>
|
|
|
D.A. Schmidt
,
Radhi Cousot
:
Static Analysis (SAS'96)
, Proceedings of the Third International Symposium; Aachen
, [0098]
, {17089}
, <SSW>
|
|
|
Radhi Cousot
,
Moreno Falaschi
,
Gilberto Filè
,
Antoine Rauzy
:
Static Analysis (WSA'93)
, Proceedings of the Third International Workshop; Padova, Italy
, [0129]
, {17059}
, <SSW>
|
|
|
B. Meyer
,
Yuri Gurevich
:
Tests and Proofs
, First International Conference, TAP 2007
, [1543]
, <SSW>
|
|
|
U.W. Eisenecker
,
K. Czarnecki
,
Patrick Heymans
:
VaMoS 2011 Proceedings
, Fifth International Workshop on Variability Modelling of Software-intensive Systems
, [1749]
, <SSW>
|
|
|
Francesco Logozzo
,
Doron A. Peled
,
Lenore D. Zuck
:
Verification, Model Checking, and Abstract Interpretation
, 9th International Conference, VMCAI 2008
, [1557]
, <SSW>
|
|
|
G. Kappel
,
Boualem Benatallah
,
Fabio Casati
,
Gustavo Rossi
:
Web Engineering
, 10th International Conference, ICWE 2010
, [1713]
, <CDL1>
|
|
|
Czech Society for Computer Science
:
XXI SOFEM '94
, Invited Talks
, [0054]
, <CHE>
|
|
|
