by Ganov, Svetoslav R, Killmar, Chip, Khurshid, Sarfraz, Perry, Dewayne E
Published in International Conference on Software Engineering 2008 (11.05.2008)

by POIESZ BENJAMIN, SUN ANGELA, GANOV SVETOSLAV, LEME FELIPE
Year of Publication 17.02.2022

by POIESZ BENJAMIN, SUN ANGELA, GANOV SVETOSLAV, LEME FELIPE
Year of Publication 25.10.2019

by CHEN CHARLES L, RAMAN TIRUVILWAMALAI VENKATRAMAN, GANOV SVETOSLAV, GHARPURE CHAITANYA
Year of Publication 30.09.2013

by SHARKEY, Jeffrey, GANOV, Svetoslav
Year of Publication 26.01.2022

by Sharkey, Jeffrey, Ganov, Svetoslav
Year of Publication 05.10.2021

by Ganov, Svetoslav, Khurshid, Sarfraz, Perry, Dewayne E.
Published in Formal Methods and Software Engineering

by SHARKEY, Jeffrey, GANOV, Svetoslav
Year of Publication 30.12.2020

by SHARKEY, Jeffrey, GANOV, Svetoslav
Year of Publication 14.10.2020

by Sharkey, Jeffrey, Ganov, Svetoslav
Year of Publication 30.07.2020

by Sharkey, Jeffrey, Ganov, Svetoslav
Year of Publication 26.05.2020

by SHARKEY, Jeffrey, GANOV, Svetoslav
Year of Publication 05.02.2020

by Ganov, Svetoslav, Khurshid, Sarfraz, Perry, Dewayne E.
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)

by SHARKEY, Jeffrey, GANOV, Svetoslav
Year of Publication 20.06.2019

by Sharkey, Jeffrey, Ganov, Svetoslav
Year of Publication 13.06.2019

by GANOV, Svetoslav, LEME, Felipe, POIESZ, Benjamin, SUN, Angela
Year of Publication 08.05.2024

by GANOV, Svetoslav, LEME, Felipe, POIESZ, Benjamin, SUN, Angela
Year of Publication 27.03.2024

by Long, Jason, Leme, Felipe, Ganov, Svetoslav
Year of Publication 07.07.2022

by GANOV, Svetoslav, LEME, Felipe, POIESZ, Benjamin, SUN, Angela
Year of Publication 21.02.2024

by Long, Jason, Leme, Felipe, Ganov, Svetoslav
Year of Publication 26.04.2022