Peter W. Lauridsen is an author at MRIGlobal specializing in formal verification, program analysis, and engineering.
Top concepts
EngineeringComputer ScienceProgram AnalysisFormal VerificationFlow ControlFormal MethodsSoftware AnalysisAutomated ReasoningSystems EngineeringDiscrete Mathematics
Publications per year
1999–2000
2
2
Stephen Alstrup, Dov Harel, Peter W. Lauridsen et al. · SIAM Journal on Computing · 1999 · 146 citations
Mathematical Programming, Directed Graph, Computational Complexity Theory +16
Rows per page
1–2 of 2