Barthe, Gilles
[HerausgeberIn];
Pardo, Alberto
[Sonstige Person, Familie und Körperschaft];
Schneider, Gerardo
[Sonstige Person, Familie und Körperschaft]
;
SEFM 9 2011 Montevideo
Dong, Jin Song
[HerausgeberIn];
Zhu, Huibiao
[Sonstige Person, Familie und Körperschaft]
;
InternationalConferenceonFormalEngineeringMethods 12 2010 Schanghai
Liu, Shaoying
[HerausgeberIn];
Maibaum, Tom
[Sonstige Person, Familie und Körperschaft];
Araki, Keijiro
[Sonstige Person, Familie und Körperschaft]
;
InternationalConferenceonFormalEngineeringMethods 10 2008 Kitakyūshū
Lau, Kung-Kiu
[HerausgeberIn];
Banach, Richard
[Sonstige Person, Familie und Körperschaft]
;
InternationalConferenceonFormalEngineeringMethods 7 2005 Manchester
Davies, Jim
[HerausgeberIn];
Schulte, Wolfram
[Sonstige Person, Familie und Körperschaft];
Barnett, Mike
[Sonstige Person, Familie und Körperschaft]
;
InternationalConferenceonFormalEngineeringMethods 6 2004 Seattle, Wash
George, Chris
[HerausgeberIn];
Miao, Huaikou
[Sonstige Person, Familie und Körperschaft]
;
InternationalConferenceonFormalEngineeringMethods 4 2002 Schanghai
Breitman, Karin
[Sonstige Person, Familie und Körperschaft];
Cavalcanti, Ana
[Sonstige Person, Familie und Körperschaft];
Breitman, Karin K.
[HerausgeberIn]
;
InternationalConferenceonFormalEngineeringMethods 11 2009 Rio de Janeiro
Butler, Michael
[HerausgeberIn];
Hinchey, Michael G.
[Sonstige Person, Familie und Körperschaft];
Larrondo-Petrie, Maria M.
[Sonstige Person, Familie und Körperschaft]
;
InternationalConferenceonFormalEngineeringMethods 9 2007 Boca Raton, Fla
FormaliSE 6. 2018 Göteborg,
Association for Computing Machinery,
Institute of Electrical and Electronics Engineers,
Institute of Electrical and Electronics Engineers
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
[Piscataway, NJ]: IEEE, 2018
FME InternationalConferenceonFormalMethods in Software Engineering 9. 2021 Online,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery,
Europäische Kommission Formal Methods Europe
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Piscataway, NJ: IEEE, 2021
Hinchey, Michael Gerard
[Sonstige Person, Familie und Körperschaft];
Liu, Shaoying
[Sonstige Person, Familie und Körperschaft]
;
IEEE InternationalConferenceonFormalEngineeringMethods (2nd :1998 :Brisbane, Qld.),
IEEE Computer Society
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Los Alamitos, Calif: IEEE Computer Society Press, 2011 ;
[S.l.]: HathiTrust Digital Library
Aichernig, Bernhard K.
[Sonstige Person, Familie und Körperschaft]
;
InternationalConferenceon Software Engineering and FormalMethods 3 2005 Koblenz,
IEEE Computer Society
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 2005
McDermid, John
[Sonstige Person, Familie und Körperschaft];
Hinchey, Michael Gerard
[Sonstige Person, Familie und Körperschaft];
Liu, Shaoying
[Sonstige Person, Familie und Körperschaft]
;
IEEE InternationalConferenceonFormalEngineeringMethods (3rd :2000 :York, England),
IEEE Computer Society
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Los Alamitos, Calif: IEEE Computer Society, 2000
Cuellar, Jorge R.
[Sonstige Person, Familie und Körperschaft]
;
InternationalConferenceon Software Engineering and FormalMethods 2 2004 Peking,
IEEE Computer Society Technical Committee on Complexity in Computing
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 2004
IEEE/ACM InternationalConferenceonFormalMethods in Software Engineering 7. 2019 Montréal,
Institute of Electrical and Electronics Engineers,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery,
IEEE Computer Society
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Piscataway, NJ: IEEE, 2019
IEEE/ACM InternationalConferenceonFormalMethods in Software Engineering 11. 2023 Melbourne,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Piscataway, NJ: IEEE, 2023
Steinmacher, Igor
[VeranstalterIn];
Soria, Adriana Meza
[HerausgeberIn]
;
IEEE/ACM InternationalConferenceonFormalMethods in Software Engineering 16. 2023 Melbourne,
Institute of Electrical and Electronics Engineers,
Association for Computing Machinery