Skip to content

Formal Methods for Trustworthy Mobile Computing.

Huimin Lin

Year2004
ProceedingsCOMPSAC

Browse the full COMPSAC paper archive.