Verification of Human Driven Data-Centric Dynamic SystemsMarkbabak bagheri hariri[0]diego calvanese[0]giuseppe de giacomo[0]alin deutsch[0]marco montali[0]AAAI Spring Symposia, 2014.Cited by: 0|Bibtex|Views18|LinksEI Code: Data: Full Text (Upload PDF)PPT (Upload PPT)SimilarReferenceUpload PPTYour rating :0 TagsCommentsSubmit
