![](/img/cover-not-exists.png)
[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 - A supposedly fun thing i may have to do again
Momigliano, AlbertoYear:
2012
Language:
english
DOI:
10.1145/2364406.2364411
File:
PDF, 454 KB
english, 2012