[ACM Press the seventh international workshop - Copenhagen, Denmark (2012.09.09-2012.09.09)] Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice - LFMTP '12 - LF P
Honsell, Furio, Lenisa, Marina, Liquori, Luigi, Maksimovic, Petar, Scagnetto, IvanYear:
2012
Language:
english
DOI:
10.1145/2364406.2364409
File:
PDF, 732 KB
english, 2012