@inproceedings{rosu-2013-synasc, author = "Rosu, Grigore", publisher = "IEEE", title = "Specifying Languages and Verifying Programs with K", series = "IEEE/CPS", booktitle = "Proceedings of 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'13)", month = "September", note = "{Invited talk. To appear.}", year = "2013" }