Escobar, Santiago (Computer scientist)
Escobar, Santiago (Informaticien)
VIAF ID: 312856879 ( Personal )
Permalink: http://viaf.org/viaf/312856879
Preferred Forms
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Automated specification and verification of web systems, c2007: | |
Functional and constraint logic programming, c2010: | |
ISoLA 2006 | |
Leveraging applications of formal methods, verification, and validation | |
WWV'06 |