Executable specifications in software reliability engineering
Abstract:
Reference: B. K. Aichernig.
Executable specifications in software reliability engineering.
In 2nd Workshop on Formal Descriptions and Software Reliability (FDSR),
Boca Raton, Florida, 31st of October 1999.
www-data,
2020-09-10