Concepedia

Lucius Gregory Meredith

LG

2

Publications

153

Citations

2

H-Index

2003

Active since

Affiliations

Saft (France)(Current)

Lucius Gregory Meredith is an author at Saft (France) specializing in formal verification, engineering, and formal methods.

Top concepts

Publications per year

2003–2005

2

Publications

2

Contracts and types

Lucius Gregory Meredith, Steve Bjorg · Communications of the ACM · 2003 · 134 citations · Full text

, , +18

A Reflective Higher-order Calculus

Lucius Gregory Meredith, Matthias Radestock · Electronic Notes in Theoretical Computer Science · 2005 · 19 citations · Full text

, , +18

Rows per page

1–2 of 2