Old Web
English
Sign In
Acemap
>
authorDetail
>
RodarmorCasey
RodarmorCasey
Programming language
program development
Computer science
Refinement calculus
1
Papers
5
Citations
0.00
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
Programming with angelic nondeterminism
2010
Sigplan Notices
BodikRastislav
ChandraSatish
GalensonJoel
KimelmanDoug
TungNicholas
BarmanShaon
RodarmorCasey
Show All
Source
Cite
Save
Citations (5)
1