Integrating Formal Methods by Unifying Abstractions.

Raymond T. Boute

Browse the full IFM paper archive.