ViennaDoc: An Animatable and Testable Specification Documentation Tool - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen. ViennaDoc: An Animatable and Testable Specification Documentation Tool. In Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas, editors, Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Volume 12233 of Lecture Notes in Computer Science, pages 289-302, Springer, 2019. [doi]

This author has not been identified. Look up 'Tomohiro Oda' in GoogleThis author has not been identified. Look up 'Keijiro Araki' in GoogleThis author has not been identified. Look up 'Yasuhiro Yamamoto' in GoogleThis author has not been identified. Look up 'Kumiyo Nakakoji' in GoogleThis author has not been identified. Look up 'Hiroshi Sako' in GoogleThis author has not been identified. Look up 'Han-Myung Chang' in GoogleThis author has not been identified. Look up 'Peter Gorm Larsen' in Google

runs on WebDSL