Proxy-Monitor: An integration of runtime verification with passive conformance testing.
Origin : Files produced by the author(s)
Loading...