DMCA

A sound assertion semantics for the dependable systems evolution verifying compiler (2007)

Cached

Download Links

by Patrice Chalin
Venue:In International Conference on Software Engineering
Citations:8 - 4 self