Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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