A Proof Environment for Concurrent Programs.

Naima Brown Dominique Méry

Published in: FME (1993)

Keyphrases

concurrent programs
database
mobile robot
databases
theorem prover
natural language
software development
concurrent programming