1-2 |
SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England
(flera utgåvor)
|
England) 2007 : (5th International Conference on Software Engineering and Formal Methods London
|
uuuu-uuuu |
Okänt |
3-4 |
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods : 10-14 November 2008
(flera utgåvor)
|
South Africa) 2008 : (6th International Conference on Software Engineering and Formal Methods Cape Town
|
uuuu-uuuu |
Okänt |
5 |
Formal Methods and Software Engineering electronic resource : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / edited by Chris George, Huaikou Miao
|
China) International Conference on Formal Engineering Methods Shanghai
|
uuuu-uuuu |
Okänt |
6 |
Formal methods and software engineering : 10th international conference on formal engineering methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / edited by Shaoying Liu, Tom Maibaum, Keijiro Araki
|
Japan) 2008 : (10th International Conference on Formal Engineering Methods Kitakyūshū-shi
|
uuuu-uuuu |
Okänt |
7 |
Software Engineering and Formal Methods electronic resource : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider
|
Uruguay) 2011 : (9th International Conference on Software Engineering and Formal Methods Montevideo
|
uuuu-uuuu |
Okänt |
8-9 |
SEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam
(flera utgåvor)
|
Vietnam) 2009 : (7th IEEE International Conference on Software Engineering and Formal Methods Hanoi
|
uuuu-uuuu |
Okänt |
10 |
Formal Methods and Software Engineering electronic resource : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / edited by Karin Breitman, Ana Cavalcanti
|
Brazil) 2009 : (11th International Conference on Formal Engineering Methods Rio de Janeiro
|
uuuu-uuuu |
Okänt |
11 |
Formal Methods and Software Engineering electronic resource : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / edited by Jin Song Dong, Huibiao Zhu
|
China) 2010 : (12th International Conference on Formal Engineering Methods Shanghai
|
uuuu-uuuu |
Okänt |
12 |
Formal Methods and Software Engineering electronic resource : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett
|
Wash.) 2004 : (6th International Conference on Formal Engineering Methods Seattle
|
uuuu-uuuu |
Okänt |
13 |
Formal Methods and Software Engineering electronic resource : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings / edited by Toshiaki Aoki, Kenji Taguchi
|
Japan) 2012 : (14th International Conference on Formal Engineering Methods Kyoto
|
uuuu-uuuu |
Okänt |
14 |
Formal Methods and Software Engineering electronic resource : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / edited by Zhiming Liu, Jifeng He
|
China) 2006 : (8th International Conference on Formal Engineering Methods Macau
|
uuuu-uuuu |
Okänt |
15 |
Software Engineering and Formal Methods electronic resource : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe
|
Greece) 2012 : (10th International Conference on Software Engineering and Formal Methods Thessalonikē
|
uuuu-uuuu |
Okänt |
16 |
Formal Methods and Software Engineering electronic resource : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / edited by Jin Song Dong, Jim Woodcock
|
International Conference on Formal Engineering Methods Singapore) 2003 : (5th
|
uuuu-uuuu |
Okänt |
17 |
Formal Methods and Software Engineering electronic resource : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu
|
England) 2011 : (13th International Conference on Formal Engineering Methods Durham
|
uuuu-uuuu |
Okänt |
18 |
Formal Methods and Software Engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings / edited by Jim Davies, Wolfram Schulte, Mike Barnett
|
Wash.) 2004 : (6th International Conference on Formal Engineering Methods Seattle
|
uuuu-uuuu |
Okänt |
19 |
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.)
|
England) 2005 : (7th International Conference on Formal Engineering Methods Manchester
|
uuuu-uuuu |
Okänt |
20 |
Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India
|
India) 2006 : (4th International Conference on Software Engineering and Formal Methods Pune
|
uuuu-uuuu |
Okänt |