Autor
Bass, Len
3
Clements, Paul, 1955-
3
Kazman, Rick
3
Pressman, Roger S., 1947-
2
Sommerville, Ian, 1951-
2
Automated Reasoning
1
Baetjer, Howard
1
Bjørner, Dines, 1937-
1
Brooks, Frederick P., Jr., 1931-2022
1
Brown, Alan W.
1
Chun, Wendy Hui Kyong, 1969-
1
Coats, R. B.
1
Collard, Jean-François
1
Computer Aided Verification
1
Conference on Software Engineering Education Pittsburgh, Pensylvánie)
1
Councill, William T.
1
Dashofy, Eric M.
1
Dorfman, M.
1
Etzion, Opher
1
Fairbanks, George
1
Fairclough, Jon
1
Foster, Ian, 1959-
1
Gesellschaft für Mathematik und Datenverarbeitung
1
Gibbs, Norman E.
1
Haigh, Thomas, 1972-
1
Heineman, George T.
1
Hennessy, John L., 1952-
1
Hußmann, Heinrich, 1959-
1
Höst, Martin, 1966-
1
Hünke, Horst
1
IFIP TC 2 Central and East European Conference on Software Engineering Techniques Poznaň, Polsko)
1
Institut für Software-Technologie
1
Interactive Theorem Proving Edinburgh, Skotsko)
1
International Conference on Software Engineering Vancouver, Britská Kolumbie)
1
Jackson, Daniel
1
Jalote, Pankaj
1
Karolak, Dale Walter
1
Kubík, Aleš, 1974-
1
Lewis, T. G. 1941-
1
Lind, Jürgen
1
Lyu, Michael R.
1
Mahoney, Michael Sean
1
Margolis, Michael
1
Medvidović, Nenad
1
Meyer, Bertrand, 1950-
1
Myerson, Marian
1
Nawrocki, Jerzy Ryszard, 1956-
1
Niblett, Peter
1
Ohlsson, Magnus C., 1973-
1
Patterson, David A., 1947-
1
více ...