计算机辅助验证,第六届国际会议,CAV 94,美国加利福尼亚州斯坦福,1994年6月21日至23日,会议记录

大卫·L·迪尔,编辑器,计算机辅助验证,第六届国际会议,CAV 94,美国加利福尼亚州斯坦福,1994年6月21日至23日,会议记录第818卷,共页计算机科学课堂讲稿、施普林格、,1994

会议:约1994年

摘要

缺少摘要。

目录