Old Web
English
Sign In
Acemap
>
authorDetail
>
Rw Duke
Rw Duke
Programming language
Formal methods
Pascal (programming language)
Specification language
Formal specification
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Towards Proving Program Correctness Using Formal Specification
1987
Rw Duke
Ga Rose
Show All
Source
Cite
Save
Citations (0)
1