@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"
}