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. Springer, 2019.

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

Forthcoming

Documents

  • Accepted Manuscript

    Accepted author manuscript, 547 KB, PDF-document

Original languageEnglish
Title of host publicationFrom Software Engineering to Formal Methods and Tools, and Back
PublisherSpringer
Publication statusAccepted/In press - 19 Jun 2019

ID: 34196571