DMCA

On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction (2002)

Cached

Download Links

by Andres Farias , Mario Südholt
Citations:18 - 5 self