Formal Methods in Standards: A Report from the Bcs Working Group
by
C. L. N. Ruggles
Paperback
details (
USA
).
ISBN: 978-0-387-19577-3
ISBN-10: 0-387-19577-7
Springer Nature
· 1990
See also (possibly by other authors):
2013
Taschenbuch
Formal Methods in Standards: A Report From The Bcs Working Group