TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
More than 125 records were found in 2.015 seconds
ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015
ISBN: 978-989-758-074-1, 2015
ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, Lisbon, Portugal, 10-12 January, 2015
ISBN: 978-989-758-073-4, 2015
Formal verification in Coq of program properties involving the global state effect
JFLA, 1-16, 2014
ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, Volume 2, ESEO, Angers, Loire Valley, France, 6-8 March, 2014
ISBN: 978-989-758-016-1, 2014
ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire Valley, France, 6-8 March, 2014
ISBN: 978-989-758-015-4, 2014