Login / Signup

Logical Support for Bike-Sharing System Design.

Ionut TutuClaudia Elena ChiritaAntónia LopesJosé Luiz Fiadeiro
Published in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases