A Proof Framework for Concurrent Programs.

Leonard Lensink Sjaak Smetsers Marko C. J. D. van Eekelen

Published in: IFM (2012)

Keyphrases

concurrent programs
machine learning
information systems