scientific article; zbMATH DE number 1962762

zbMath1033.68584MaRDI QIDQ4418593

Akira Mori, Kokichi Futatsugi

Publication date: 11 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2609/26090461.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)

CafeOBJ

This page was built for publication: