Hesham Shokry
Towards behavior elaboration and synthesis using modes
FSE, 2010.
@inproceedings{FSE-2010-Shokry, author = "Hesham Shokry", booktitle = "{Proceedings of the 18th International Symposium on Foundations of Software Engineering}", doi = "10.1145/1882291.1882344", editor = "Gruia-Catalin Roman and Kevin J. Sullivan", isbn = "978-1-60558-791-2", pages = "349--352", publisher = "{ACM}", title = "{Towards behavior elaboration and synthesis using modes}", year = 2010, }