Items where Author is "Bartocci, Ezio"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Bartocci, Ezio and Majumdar, Rupak
(2017) Introduction to the special issue on runtime verification.
Formal Methods in System Design, 51 (1). 1–4.

This list was generated on Wed Apr 24 12:23:17 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.