Books
Year : 2015
Kaustuv Chaudhuri : Connect in order to contact the contributor
https://inria.hal.science/hal-01222747
Submitted on : Friday, October 30, 2015-2:41:47 PM
Last modification on : Friday, March 24, 2023-2:53:01 PM
Cite
Iliano Cervesato, Kaustuv Chaudhuri (Dir.). Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice. Iliano Cervesato; Kaustuv Chaudhuri. , 2015, ⟨10.4204/EPTCS.185⟩. ⟨hal-01222747⟩
Collections
202
View
0
Download