Skip to content

A Modal Language for the Safety of Mobile Values.

Sungwoo Park

VenueBAPLAS
Year2006
ProceedingsAPLAS

Browse the full APLAS paper archive.