Automatic Property Checking for Software: Past, Present and Future

Sriram Rajamani

Details

Publication typeInproceedings
Published inProceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM)
PublisherIEEE Computer Society
> Publications > Automatic Property Checking for Software: Past, Present and Future