Non-disclosure for distributed mobile code
From MaRDI portal
Publication:3103611
DOI10.1017/S096012951100017XzbMath1252.68071MaRDI QIDQ3103611
Jan Cederquist, Ana Almeida Matos
Publication date: 8 December 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s096012951100017x
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work