Logical Support for Bike-Sharing System Design. / Tutu, Ionut; Chirita, Claudia-Elena; Lopes, Antónia; Fiadeiro, José Luiz.

From Software Engineering to Formal Methods and Tools, and Back. ed. / Maurice H ter Beek; Alessandro Fantechi; Laura Semini. Springer, 2019. p. 152-171 (Lecture Notes In Computer Science; Vol. 11865).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

E-pub ahead of print

Documents

Original languageEnglish
Title of host publicationFrom Software Engineering to Formal Methods and Tools, and Back
EditorsMaurice H ter Beek, Alessandro Fantechi, Laura Semini
PublisherSpringer
Chapter10
Pages152-171
Number of pages20
ISBN (Electronic)978-3-030-30985-5
ISBN (Print)978-3-030-30984-8
DOIs
Publication statusE-pub ahead of print - 9 Oct 2019

Publication series

NameLecture Notes In Computer Science
PublisherSpringer
Volume11865
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 34196571