On Proving Correctness of Microprograms.

Alexander Birman

Published in: IBM J. Res. Dev. (1974)

Keyphrases

information technology
object oriented
database
machine learning
website
bayesian networks
cooperative
dynamic programming
end users