Mikolas Janota
AuthID: R-004-VTA
101
TITLE: Reasoning about feature models in higher-order logic
AUTHORS: Mikoláš Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: Proceedings - 11th International Software Product Line Conference, SPLC 2007
AUTHORS: Mikoláš Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: Proceedings - 11th International Software Product Line Conference, SPLC 2007
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID102
TITLE: Reachability analysis for annotated code
AUTHORS: Mikoláš Janota; Radu Grigore; Michał Moskal;
PUBLISHED: 2007, SOURCE: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
AUTHORS: Mikoláš Janota; Radu Grigore; Michał Moskal;
PUBLISHED: 2007, SOURCE: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
103
TITLE: Reasoning about feature models in higher-order logic
AUTHORS: Janota, M; Kiniry, J;
PUBLISHED: 2007, SOURCE: SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
AUTHORS: Janota, M; Kiniry, J;
PUBLISHED: 2007, SOURCE: SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
INDEXED IN: 
WOS
WOS IN MY: ORCID
ORCID104
TITLE: Reasoning about Feature Models in Higher-Order Logic
AUTHORS: Mikolas Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: 11th International Software Product Line Conference (SPLC 2007)
AUTHORS: Mikolas Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: 11th International Software Product Line Conference (SPLC 2007)
105
TITLE: Reasoning about Feature Models in Higher-Order Logic
AUTHORS: Mikolas Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: 11th International Software Product Line Conference (SPLC 2007)
AUTHORS: Mikolas Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: 11th International Software Product Line Conference (SPLC 2007)
