First Page | Document Content | |
---|---|---|
Date: 2018-01-10 13:23:57Arithmetic Interval Bracket | Formal Methods in System Design manuscript No. (will be inserted by the editor) Inferring Event Stream Abstractions Sean Kauffman · Klaus Havelund · Rajeev Joshi · Sebastian FischmeisterAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 326,54 KBShare Document on Facebook |