scientific article; zbMATH DE number 1798185
From MaRDI portal
Publication:4553258
zbMath0996.68591MaRDI QIDQ4553258
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Bytecode verification on Java smart cards ⋮ Verified bytecode verification and type-certifying compilation ⋮ Tool-assisted specification and verification of typed low-level languages ⋮ An assertion-based proof system for multithreaded Java ⋮ A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
This page was built for publication:
