@inproceedings{GL93f,
title = {A tool implementing a method for symbolic program verification },
author = {Graf, Susanne and Loiseaux, Claire},
year = {1993},
booktitle = {Proceedings of "Formale Methoden zum Entwurf korrekter Systeme", Bad Herrenalb},
team = {DCS},
}
