Search for persons
X
?
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
1
P4Cub: A Little Language for Big Routers:
, In:
?
World Atlas of Submarine Gas Hydrates in Continental Margins ,
2
Gas Hydrates and Submarine Sediment Mass Failure: A Case St..:
, In:
?
World Geomorphological Landscapes; Landscapes and Landforms of Eastern Canada ,
3