Home Advanced Search

Advanced Search - Page 1

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Kazuhiro Ogata, Mark Lawford, Shaoying Liu (eds.)
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Shaoying Liu, Zhenhua Duan (eds.)
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Shaoying Liu, Zhenhua Duan (eds.)
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
  • PDF
  • English
  • Year: 2014
  • Author: Shusaku Iida, José Meseguer, Kazuhiro Ogata (eds.)
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima (auth.), Shaoying Liu (eds.)
Formal Engineering for Industrial Software Development: Using the SOFL Method
  • PDF
  • English
  • Year: 2004
  • Author: Shaoying Liu (auth.)
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
  • PDF
  • English
  • Year: 2023
  • Author: Shaoying Liu, Zhenhua Duan, Ai Liu
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
  • EPUB
  • English
  • Year: 2023
  • Author: Shaoying Liu; Zhenhua Duan; Ai Liu
Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
search