|
Barthe, Gilles, 1967-
|
2005
CASSIS (Conference)
Rating:
|
2006
CASSIS (Conference) (2005 : Nice, France)
Rating:
|
2012
ESSoS (Symposium) (4th : 2012 : Eindhoven, Netherlands)
Rating:
|
2012
FAST (Workshop) (8th : 2011 : Leuven, Belgium)
Rating:
|
2008
International Conference on Formal Methods for Open Object-Based Distributed Systems (10th : 2008 : Oslo, Norway)
Rating:
|
2021
Cambridge : Cambridge University Press, 2021
Rating:
|
|
2011
European Symposium on Programming (20th : 2011 : Saarbrücken, Germany)
Rating:
|
2016
STM (Conference) (12th : 2016 : Ērakleion, Greece)
Cham, Switzerland : Springer, 2016
Rating:
|
2011
International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)
Rating:
|
2008
TGC 2007 (2007 : Sophia-Antipolis, France)
Rating:
|
2010
VMCAI 2010 (2010 : Madrid, Spain)
Rating:
|
Add Marked to Bag
Add All On Page
|
|