Logical Support for Bike-Sharing System Design - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Publications > Logical Support for Bike-Sharing System Design

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 proceeding › Conference contribution

Forthcoming

Original language	English
Title of host publication	From Software Engineering to Formal Methods and Tools, and Back
Publisher	Springer
Publication status	Accepted/In press - 19 Jun 2019

ID: 34196571

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455