2005

Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings

CALCO (Conference) (1st : 2005 : Swansea, Wales)



 

2009

Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings

CALCO (Conference) (3rd : 2009 : Udine, Italy)



 

2009

Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings

ATVA (Symposium) (7th : 2009 : Macau, China)



 

2009

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings

SAFECOMP 2009 (2009 : Hamburg, Germany)



 

2010

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

 

2009

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

International Symposium of Formal Methods Europe (16th : 2009 : Eindhoven, Netherlands)



 

2009

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil)



 

2010

Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings

International Conference on Formal Engineering Methods (12th : 2010 : Shanghai, China)



 

2006

Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings

EPEW (Workshop) (2006 : Budapest, Hungary)



 

2009

Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

FMCO (Symposium) (7th : 2008 : Sophia Antipolis, France)



 

2005

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands)



 

2009

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy)



 

2010

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (15th : 2010 : Antwerp, Belgium)



 

2013

Formal methods for industrial critical systems : a survey of applications

[Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013]

 

2006

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems (8th : 2006 : Bologna, Italy)



 

2010

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Ital

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th : 2010 : Bertinoro, Italy)



 

2009

Formal methods for Web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lect

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th : 2009 : Bertinoro, Italy)



 

2009

Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers

Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil)



 

2012

Formal methods: Foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Brazilian Symposium on Formal Methods (15th : 2012 : Natal, Brazil)



 

2009

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings

FORMATS (Conference) (7th : 2009 : Budapest, Hungary)



 

2005

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings

FORMATS (Conference) (3rd : 2005 : Uppsala, Sweden)



 

2005

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versaill

EPEW (Workshop) (2005 : Versailles, France)

Berlin ; New York : Springer, ©2005

 

2010

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9

International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, Netherlands)



 

2011

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers

FoVeOOS (Conference) (2010 : Paris, France)



 

2005

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings

International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands)



 

2009

Knowledge representation for agents and multi-agent systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, revised selected papers

KRAMAS 2008 (2008 : Sydney, N.S.W.)



 

2009

Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures

LerNet ALFA Summer School (2008 : Piriapolis, Uruguay)



 

2009

Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers

International Tbilisi Symposium on Logic, Language, and Computation (7th : 2007 : Tʻbilisi, Georgia)



 

2009

Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings

Workshop on Logic, Language, Information and Computation (16th : 2009 : Tokyo, Japan)



 

1981

Logic of programs : workshop, ETH Zürich, May-July 1979

Berlin ; New York : Springer, 1981

 

2005

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

Berlin ; New York : Springer, ©2005

 

2009

Model driven engineering languages and systems : 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009: proceedings /cAndy Schürr, Brian Selic (eds.)

MODELS (Conference) (12th : 2009 : Denver, Colo.)



 

2005

Principles and practice of Semantic Web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 ; proceedings

PPSWR (Conference) (3rd : 2005 : Dagstuhl, Wadern, Germany)



 

2015

Principles of cyber-physical systems

Alur, Rajeev, 1966-

Cambridge, Massachusetts ; London, England : The MIT Press, [2015]

 

2009

Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday

 

2010

Software language engineering : second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 : revised selected papers

SLE (Conference) (2nd : 2009 : Denver, Colo.)



 

2009

Teaching formal methods : Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings

TFM 2009 (2009 : Eindhoven, Netherlands)