How to write a 21st century proof
暂无分享，去创建一个
[1] Leslie Lamport,et al. How to Write a Proof , 1995 .
[2] Martín Abadi,et al. An old-fashioned recipe for real time , 1994, TOPL.
[3] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
暂无分享，去创建一个
[1] Leslie Lamport,et al. How to Write a Proof , 1995 .
[2] Martín Abadi,et al. An old-fashioned recipe for real time , 1994, TOPL.
[3] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.