Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira. Using the Base Semantics given by fUML for Verification. In Luís Ferreira Pires, Slimane Hammoudi, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. pages 5-16, SciTePress, 2014. [doi]
@inproceedings{RomeroSF14-0,
title = {Using the Base Semantics given by fUML for Verification},
author = {Alessandro Gerlinger Romero and Klaus Schneider and Maurício Gonçalves Vieira Ferreira},
year = {2014},
doi = {10.5220/0004662400050016},
url = {http://dx.doi.org/10.5220/0004662400050016},
researchr = {https://researchr.org/publication/RomeroSF14-0},
cites = {0},
citedby = {0},
pages = {5-16},
booktitle = {MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014},
editor = {Luís Ferreira Pires and Slimane Hammoudi and Joaquim Filipe and Rui César das Neves},
publisher = {SciTePress},
isbn = {978-989-758-007-9},
}