A verification tool developer’s vade mecum
暂无分享,去创建一个
[1] Nancy G. Leveson,et al. Safeware: System Safety and Computers , 1995 .
[2] William F. Opdyke,et al. Refactoring object-oriented frameworks , 1992 .
[3] Rance Cleaveland,et al. The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.
[4] P. Kidwell,et al. The trouble with computers: Usefulness, usability and productivity , 1996, IEEE Annals of the History of Computing.
[5] W. Buxton. Human-Computer Interaction , 1988, Springer Berlin Heidelberg.
[6] Harold W. Thimbleby,et al. User interface design , 1990, ACM Press Frontier Series.
[7] R. Simone,et al. Abstract games for in nite state processes , 2018 .