Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Archive
Call for Papers
Registration
Program Agenda
WIP at HoTSoS
Program Committee
Presenter Guidance
Past Events
Files
CPS-VO
»
Science of Security VO
»
Symposium on the Science of Security (HotSoS)
» CAN ADVANCED TYPE SYSTEMS BE USABLE? AN EMPIRICAL STUDY OF OWNERSHIP, ASSETS, AND TYPESTATE IN OBSIDIAN
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
View
Properties
Name
Value
MIME type
application/pdf
Size
4.17 MB
