Concepedia

Laurent Doldi

LD

1

Publications

28

Citations

1

H-Index

1993

Active since

Laurent Doldi is an author specializing in software analysis, engineering, and formal methods.

Top concepts

Publications per year

1993–1993

1

Publications

1

VESAR: a pragmatic approach to formal specification and verification

B. Algayres, V. Coelho, Laurent Doldi et al. · Computer Networks and ISDN Systems · 1993 · 28 citations

, , +9

Rows per page

1–1 of 1