Author:
Plat Nico,van Katwijk Jan,Toetenel Hans
Publisher
Institution of Engineering and Technology (IET)
Subject
General Engineering,General Computer Science
Reference38 articles.
1. Houston, I., and King, S.: ‘CICS Project report; experiences and results from the use of Z in IBM’, VDM'91; formal software development methods, (Springer-Verlag 1991), p. 588–596 (LNCS 551)
2. UK Ministry of Defence, Interim Defence Standard 00-55, May, 1989
3. UK Ministry of Defence, Interim Defence Standard 00-56, May, 1989
4. Bjo̸rner, D., and Jones, C.B.: Formal specification & software development, (Prentice Hall 1982)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献