activity
20082023
most citedGlobal Impact of COVID-19 Restrictions on the Atmospheric Concentrations of Nitrogen Dioxide and Ozone

122 citations · 143 across the 6 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.SE2023

Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL

Tomohiro Oda, Gaël Dur, Stéphane Ducasse +1

Formal specification is a basis for rigorous software implementation. VDM-SL is a formal specification language with an extensive executable subset. Successful cases of VDM-family…