Concepedia

Richard Warburton

RW

1

Publications

21

Citations

1

H-Index

2009

Active since

Affiliations

University of Warwick(Current)

Richard Warburton is an author at University of Warwick specializing in formal methods, computer engineering, and program transformation.

Top concepts

Publications per year

2009–2009

1

Publications

1

Program transformations using temporal logic side conditions

Sara Kalvala, Richard Warburton, David Lacey · ACM Transactions on Programming Languages and Systems · 2009 · 21 citations · Full text

, , +17

Rows per page

1–1 of 1