International Conference on Integrated Formal Methods, Grieskamp, Wolfgang, 1960-, Santen, Thomas, 1965-, Stoddart, …
Springer
|
International Symposium of Formal Methods Europe, 荒木, 啓二郎, Gnesi, Stefania, 1954-, Mandrioli, Dino
Springer
|
International Conference on Integrated Formal Methods, Boiten, Eerke A., Derrick, John, Smith, Graeme
Springer
|
FASec, Abdallah, Ali E., 1957-, Ryan, Peter, 1957-, Schneider, S. A. (Steve A.)
Springer
|
International Conference on Integrated Formal Methods, Butler, Michael, Hartmanis, Juris, Petre, Luigia, Sere, Kaisa
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
ICFEM, Dong, Jin Song, 1967-, Woodcock, James
Springer
|
International Conference on Integrated Formal Methods, Romijn, Judi, Smith, Graeme, 1966-, Pol, Jaco
Springer
|
ICFEM, Liu, Zhiming, He, Jifeng, 1943-
Springer
|
ICFEM, Lau, K.-K. (Kung-Kiu), 1953-, Banach, Richard
Springer
|
WS-FM, Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi
Springer
|
FMCAD (Conference), Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter)
Springer
|
International Conference on Software Engineering and Formal Methods
IEEE Computer Society
|