Abstract Constraints: A General Framework for Solver‐Independent Reasoning on Product‐Line Models
2011; Wiley; Volume: 14; Issue: 4 Linguagem: Inglês
10.1002/inst.201114422
ISSN2156-4868
AutoresRaúl Mazo, Camille Salinesi, Daniel Díaz,
Tópico(s)Formal Methods in Verification
ResumoINSIGHTVolume 14, Issue 4 p. 22-24 Special Feature Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product-Line Models Raul Mazo, Raul Mazo raulmazo@gmail.com Search for more papers by this authorCamille Salinesi, Camille Salinesi camille.salinesi@univ-paris1.fr Search for more papers by this authorDaniel Diaz, Daniel Diaz daniel.diaz@univ-paris1.fr Search for more papers by this author Raul Mazo, Raul Mazo raulmazo@gmail.com Search for more papers by this authorCamille Salinesi, Camille Salinesi camille.salinesi@univ-paris1.fr Search for more papers by this authorDaniel Diaz, Daniel Diaz daniel.diaz@univ-paris1.fr Search for more papers by this author First published: 23 June 2015 https://doi.org/10.1002/inst.201114422Citations: 1AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onFacebookTwitterLinked InRedditWechat No abstract is available for this article.Citing Literature Volume14, Issue4December 2011Pages 22-24 RelatedInformation
Referência(s)