Andrzej S. Murawski
Bad Variables Under Control
CSL, 2007.
@inproceedings{CSL-2007-Murawski, author = "Andrzej S. Murawski", booktitle = "{Proceedings of the 16th EACSL Annual Conference / 21st International Workshop on Computer Science Logic}", doi = "10.1007/978-3-540-74915-8_41", isbn = "978-3-540-74914-1", pages = "558--572", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Bad Variables Under Control}", volume = 4646, year = 2007, }