This article is free to access.
CITATION STYLE
Jhala, R. (2012). Software Verification with Liquid Types (pp. 23–23). https://doi.org/10.1007/978-3-642-27940-9_2
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley