CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  InProceedings Page Login  
   
banner bottom
File Top
Substructural typestates

@ Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV 2014


Editors: Nils Anders Danielsson, Bart Jacobs (Eds.)

Series: ACM 2014

Publisher: ACM ( United States )

Pages: 15 to 26


Date: January, 2014


Authors:

File Bottom