scientific article; zbMATH DE number 2033515

zbMath1029.68879MaRDI QIDQ4444714

John Rushby

Publication date: 27 January 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2187/21870086.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Related Items (1)

An approach to formal verification of human-computer interaction

This page was built for publication: