scientific article

From MaRDI portal

Publication:3727361

Jump to:navigation, search

zbMath0595.68019MaRDI QIDQ3727361

Bogdan Oporowski

Publication date: 1985

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

zbMATH Keywords

concurrent programs weakest preconditions fuzzy programs indeterministic programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3727361&oldid=17239119"