An expressive semantics of mocking
Paper in proceeding, 2014
Author
Josef Svenningsson
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Hans Svensson
Quviq Ab
Nicholas Smallbone
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Thomas Arts
Quviq Ab
Ulf Norell
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 8411 LNCS 385-3999783642548031 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-642-54804-8_27
ISBN
9783642548031