Typestate: A programming language concept for enhancing software reliability 论文

1986IEEE Transactions on Software Engineering引用 623
DOI
Software Reliability and Analysis ResearchSoftware Engineering ResearchSoftware Testing and Debugging Techniques
企业软件Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
关系图谱

Typestate: A programming language concept for enhancing software reliability · 作者

S

Shaula Yemini

R

Robert E. Strom