An expressive semantics of mocking
Paper i proceeding, 2014
Författare
Josef Svenningsson
Chalmers, Data- och informationsteknik, Programvaruteknik
Hans Svensson
Quviq Ab
Nicholas Smallbone
Chalmers, Data- och informationsteknik, Programvaruteknik
Thomas Arts
Quviq Ab
Ulf Norell
Chalmers, Data- och informationsteknik, Datavetenskap
John Hughes
Chalmers, Data- och informationsteknik, Programvaruteknik
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)
Ämneskategorier
Data- och informationsvetenskap
DOI
10.1007/978-3-642-54804-8_27
ISBN
9783642548031