scientific article; zbMATH DE number 1953034

zbMath1022.68550MaRDI QIDQ4414392

Kazuhiro Ogata, Kokichi Futatsugi

Publication date: 25 July 2003

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

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

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

This page was built for publication: