Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs.

Joshua Heneage Dawes, Domenico Bianculli

Browse the full RV paper archive.