×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [list e list]
Home >
list e list
Higher-Order Verification With Liquid Types Ranjit Jhala, UC San Diego (with Pat Rondon, Ming Kawaguchi)
214 views
Using Types For Software Verification Ranjit Jhala, UC San Diego (with Pat Rondon, Ming Kawaguchi)
215 views