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 33rd International Conference on Tools with Artificial Intelligence (ICTAI)
2021 IEEE 48th Photovoltaic Specialists Conference (PVSC)
2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
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 IEEE Frontiers in Education Conference (FIE)
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)
2020 IEEE Power & Energy Society General Meeting (PESGM)
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
2019 IEEE AUTOTESTCON
2018 13th World Congress on Intelligent Control and Automation (WCICA)
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE)
2018 IEEE 18th International Conference on Advanced Learning Technologies (ICALT)
2018 26th European Signal Processing Conference (EUSIPCO)
2018 IEEE International Conference on Robotics and Biomimetics (ROBIO)
2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER)
2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD)
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
2018 IEEE/ACIS 17th International Conference on Computer and Information Science (ICIS)
2017 IEEE International Conference on Computational Science and Engineering (CSE) and IEEE International Conference on Embedded and Ubiquitous Computing (EUC)
2017 14th International Multi-Conference on Systems, Signals & Devices (SSD)
2017 IEEE 19th International Conference on High Performance Computing and Communications; IEEE 15th International Conference on Smart City; IEEE 3rd International Conference on Data Science and Systems (HPCC/SmartCity/DSS)
2017 IEEE 12th International Conference on Global Software Engineering (ICGSE)
2016 IEEE Conference on Control Applications (CCA)
2016 Fifth International Conference on Recent Trends in Information Technology (ICRTIT)
2016 11th International Conference on Reliability, Maintainability and Safety (ICRMS)
2013 International Conference on Social Computing (SocialCom)
2012 International Conference on Management and Service Science (MASS 2012)
2012 International Conference on Computational Intelligence and Software Engineering (CiSE)
2012 Joint 6th Intl. Conference on Soft Computing and Intelligent Systems (SCIS) and 13th Intl. Symposium on Advanced Intelligent Systems (ISIS)
2012 Fourth International Symposium on Information Science and Engineering (ISISE)
2012 IEEE International Conference on Automation and Logistics (ICAL)
2012 Fourth Workshop on Hot Topics in Software Upgrades (HotSWUp)
2012 2nd International Conference on Uncertainty Reasoning and Knowledge Engineering (URKE)
2011 3rd IEEE International Conference on Information Management and Engineering (ICIME)
2011 11th International Conference on Electrical Power Quality and Utilisation - (EPQU)
2011 IEEE International Conference on Intelligent Computing and Intelligent Systems (ICIS 2011)
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 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM)
2010 International Conference on Educational and Information Technology (ICEIT)
2010 3rd International Conference on Computational Intelligence and Industrial Application (PACIIA)
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