Concepedia

Lars Frantzen

LF

2

Publications

119

Citations

2

H-Index

2005

Active since

Affiliations

Radboud University Nijmegen(Current)

Lars Frantzen is an author at Radboud University Nijmegen specializing in formal methods, program analysis, and automated reasoning.

Top concepts

Publications per year

2005–2006

2

Publications

2

Test Generation Based on Symbolic Specifications

Lars Frantzen, Tim A. C. Willemse · Lecture notes in computer science · 2005 · 84 citations

, , +10

Towards Model-Based Testing of Web Services

Lars Frantzen, Jan Tretmans · Data Archiving and Networked Services (DANS) · 2006 · 35 citations · Full text

Rows per page

1–2 of 2