Verifying atomic data types

From MaRDI portal
Publication:914403

DOI10.1007/BF01379184zbMath0701.68076OpenAlexW2013433898MaRDI QIDQ914403

Jeannette M. Wing

Publication date: 1989

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01379184





Uses Software



Cites Work




This page was built for publication: Verifying atomic data types