Mikolas Janota
AuthID: R-004-VTA
61
TÃTULO: Reachability analysis for annotated code
AUTORES: Mikoláš Janota; Radu Grigore; Michał Moskal;
PUBLICAÇÃO: 2007, FONTE: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
AUTORES: Mikoláš Janota; Radu Grigore; Michał Moskal;
PUBLICAÇÃO: 2007, FONTE: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
62
TÃTULO: Reasoning about feature models in higher-order logic
AUTORES: Janota, M; Kiniry, J;
PUBLICAÇÃO: 2007, FONTE: SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
AUTORES: Janota, M; Kiniry, J;
PUBLICAÇÃO: 2007, FONTE: SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
INDEXADO EM: 
WOS
WOS NO MEU: 
ORCID
ORCID63
TÃTULO: Reasoning about Feature Models in Higher-Order Logic
AUTORES: Mikolas Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: 11th International Software Product Line Conference (SPLC 2007)
AUTORES: Mikolas Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: 11th International Software Product Line Conference (SPLC 2007)
64
TÃTULO: Reasoning about Feature Models in Higher-Order Logic
AUTORES: Mikolas Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: 11th International Software Product Line Conference (SPLC 2007)
AUTORES: Mikolas Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: 11th International Software Product Line Conference (SPLC 2007)
