A Case Study in Verification Based on Trace Abstractions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nils Klarlund, Mogens Nielsen, Kim Sunesen. A Case Study in Verification Based on Trace Abstractions. In Manfred Broy, Stephan Merz, Katharina Spies, editors, Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Volume 1169 of Lecture Notes in Computer Science, pages 341-373, Springer, 1994.

This author has not been identified. Look up 'Nils Klarlund' in GoogleThis author has not been identified. Look up 'Mogens Nielsen' in GoogleThis author has not been identified. Look up 'Kim Sunesen' in Google

runs on WebDSL