9789310133722
Farah Gohil
Gagan Books
English
Information and Computing Technologies - Information and Computing Technologies
2023
12315.00
Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning
