Home Advanced Search

Advanced Search - Page 1

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Jonathan P. Bowen, Huibiao Zhu (eds.)
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)
Towards Verified Systems
  • PDF
  • English
  • Year: 1994
  • Author: Jonathan Bowen (Eds.)
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
  • PDF
  • English
  • Year: 2017
  • Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
  • PDF
  • English
  • Year: 2013
  • Author: Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Provably Correct Systems
  • PDF
  • English
  • Year: 2017
  • Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Software Specification Methods: An Overview Using a Case Study
  • PDF
  • English
  • Year: 2001
  • Author: Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
search