Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu sefm!
Hier klicken für Ihr Exposé |
Malay Ganai
SEFM 2008 Conference Website … SESSION 6: Testing II (Chair: Malay Ganai ) … by Gogul Balakrishnan and Malay Ganai. 12:30 - 14:00. Lunch Break. 14:00 - …
Mohamed Bettaz
'seven days to deadline for SEFM abstracts' - MARC: … Jean-Raymond Abrial, ETH Zurich, Switzerland Ralph-Johan Back, Abo Akademi U., Turku, Finland Gabriel …
Tommaso Bolognesi
[loginf] SEFM 2005 Second CfP: … Abo Akademi U., Turku, Finland Gabriel Baum, National U. of La Plata, Argentina Mohamed Bettaz, Philadelphia U., Jordan Tommaso …
Jens Wollenhaupt
SEFM (sefm) ... Jens Wollenhaupt
Bernhard Aich
Dateiformat: PDF/Adobe Acrobat - HTML-Versionvon S Knapp - Zitiert durch: 9 - Ähnliche ArtikelIn … neering and Formal Methods (SEFM 2005), 5-9 September …
Damian Salewski
Stefan Edelkamp, Damian Sulewski: Flash-Efficient LTL Model Checking with Minimal Counterexamples. SEFM 2008: 73-82. 2, Electronic Edition · pubzone.org …
Mariela Pavlova
SEFM 2005: Gilles Barthe, Mariela Pavlova, Gerardo Schneider, Static Analysis of Memory ..., SEFM
Antonio Cerone
… (DBLP:conf/sefm/CeroneLC05, author = (Antonio Cerone and Peter A. Lindsay and … Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 …
Walter Mesquita
DBLP Record ' conf/sefm/MesquitaSM05 ' BibTeX @inproceedings(DBLP:conf/sefm/MesquitaSM05, author = (Walter Mesquita and Augusto Sampaio and Ana ..., SEFM
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ