Introduction to the special issue on runtime verificationOpen Website

Oleg Sokolsky, Grigore Rosu

Published: 2012, Last Modified: 12 May 2023Formal Methods Syst. Des. 2012Readers: Everyone
0 Replies