Journal article

APPLYING FORMAL METHODS TO STANDARD DEVELOPMENT - THE OPEN DISTRIBUTED-PROCESSING EXPERIENCE

RO SINNOTT, KJ TURNER

Computer Standards and Interfaces | ELSEVIER SCIENCE BV | Published : 1995