scientific article; zbMATH DE number 1962761

zbMath1033.68568MaRDI QIDQ4418592

Mitsuhiro Okada, Koji Hasebe

Publication date: 11 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2609/26090441.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 for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (1)

Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method

This page was built for publication: