Programming Logics - Lecture Notes in Computer Science
Latest Publications
TOTAL DOCUMENTS
17
(FIVE YEARS 0)
H-INDEX
3
(FIVE YEARS 0)
Published By Springer Berlin Heidelberg
9783642376504, 9783642376511
2013 ◽
pp. 345-391
◽
2013 ◽
pp. 35-71
◽
Keyword(s):
2013 ◽
pp. 317-344
◽
Keyword(s):
2013 ◽
pp. 302-316
◽
Keyword(s):