Home Advanced Search

Advanced Search - Page 1

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.)
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: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
Program Design Calculi
  • PDF
  • English
  • Year: 1993
  • Author: Carroll Morgan (auth.), Manfred Broy (eds.)
Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Violet Ka I Pun, Volker Stolz, Adenilso Simao
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 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.)
Strukturanalyse der Gegenwart
  • PDF
  • German
  • Year: 2006
  • Author: René König (auth.), Michael Klein (eds.)
search