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]
@inproceedings{OdaAYNSCL19,
title = {ViennaDoc: An Animatable and Testable Specification Documentation Tool},
author = {Tomohiro Oda and Keijiro Araki and Yasuhiro Yamamoto and Kumiyo Nakakoji and Hiroshi Sako and Han-Myung Chang and Peter Gorm Larsen},
year = {2019},
doi = {10.1007/978-3-030-54997-8_19},
url = {https://doi.org/10.1007/978-3-030-54997-8_19},
researchr = {https://researchr.org/publication/OdaAYNSCL19},
cites = {0},
citedby = {0},
pages = {289-302},
booktitle = {Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II},
editor = {Emil Sekerinski and Nelma Moreira and José N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and José Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas},
volume = {12233},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-54997-8},
}