Laura Ildikó Kovács

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Laura Ildikó Kovács, Tudor Jebelean
An Algorithm for Automated Generation of Invariants for Loops with Conditionals. SYNASC (2005)