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.


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 Fri Dec 9 00:05:00 2022 CET.