229 resources related to
Reasoning about programs
Read more
Featured Article
Read more
Related topics
No topics related to "Reasoning about programs"
Top Conferences on Reasoning about programs
2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)
2020 International Conference on Machine Learning and Cybernetics (ICMLC)
2020 IEEE International Conference on Power Systems Technology (POWERCON)
2020 IEEE International Conference on Intelligence and Security Informatics (ISI)
2012 8th International Conference on Information Science and Digital Content Technology (ICIS and IDCTA)
2012 Eighth International Conference on Computational Intelligence and Security (CIS)
2012 Fourth International Symposium on Information Science and Engineering (ISISE)
2012 IEEE International Conference on Automation and Logistics (ICAL)
2011 2nd International Conference on Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC)
2011 3rd Symposium on Web Society (SWS)
2010 4th International Conference on Intelligent Information Technology Application (IITA)
2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE 2010)
2010 International Conference on Computer Science and Software Engineering (CSSE 2010)
2010 International Conference on Educational and Information Technology (ICEIT)
2010 2nd International Conference on Software Engineering and Data Mining (SEDM)
More links
Xplore Articles related to Reasoning about programs
Periodicals related to Reasoning about programs
Education, IEEE Transactions on
Engineering Management, IEEE Transactions on
Knowledge and Data Engineering, IEEE Transactions on
Learning Technologies, IEEE Transactions on
Software Engineering, IEEE Transactions on
More links