Home Advanced Search

Advanced Search - Page 1

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Zuohua Ding (auth.), Martin Leucker, Carroll Morgan (eds.)
Model-Based Testing of Reactive Systems: Advanced Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)
On the Refinement Calculus
  • PDF
  • English
  • Year: 1994
  • Author: Carroll Morgan (auth.), Carroll Morgan BSc, PhD, Trevor Vickers BSc, PhD (eds.)
Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.)
Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.)
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Christian Colombo, Martin Leucker
Programming Methodology
  • PDF
  • English
  • Year: 2003
  • Author: Annabelle McIver, Carroll Morgan (eds.)
Abstraction, Refinement and Proof for Probabilistic Systems
  • PDF
  • English
  • Year: 2005
  • Author: Annabelle McIver, Carroll Morgan (auth.)
search