About this scholarly article

Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference - Verifiable program construction in a user-friendly style by Naftalin, M. is a scholarly article available to read on EtoBox.

Author

Naftalin, M.

Publisher

IEEE Comput. Soc. Press

Published

1988

Language

EN