Exportar referência
APA
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro, (2019). Logical Support for Bike-Sharing System Design. From Software Engineering to Formal Methods and Tools, and Back,Lecture Notes in Computer Science, 152-171
IEEE
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro, "Logical Support for Bike-Sharing System Design" in From Software Engineering to Formal Methods and Tools, and Back,Lecture Notes in Computer Science, 2019, pp. 152-171
BIBTEX
@incollection{43412,
author = {Ionut Tutu and Claudia Elena Chirita and Antónia Lopes and José Luiz Fiadeiro},
title = {Logical Support for Bike-Sharing System Design},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back,Lecture Notes in Computer Science},
year = 2019,
pages = {152-171},
address = {},
publisher = {Springer International Publishing}
}