Browse
All of TARA
Academic/Research Units & CollectionsTitlesAuthorsDate of PublicationSubjectsSponsorThis Collection
TitlesAuthorsDate of PublicationSubjectsSponsorDiscover
Author
CARDOZO ÁLVAREZ, NICOLÁS (1)Subject
Computer Science/Engineering (1)Context-oriented programming (1)Context-oriented programming, (1)Correctness, (1)Smart & Sustainable Planet (1)Software Engineering (1)software verification (1)Symbolic execution, (1)Validation (1)
... View More