The Dogged Pursuit of Bug-Free C Programs

Jul-26-2021, 04:00:00 GMT–Communications of the ACM

In Proc. of the 2016 Conf. on Embedded Real Time Softw. and Systems.

artificial intelligence, logic & formal reasoning, programming language, (21 more...)

Communications of the ACM

Jul-26-2021, 04:00:00 GMT

Journals Web Page

Country:
- Europe > France (0.69)

Industry:
- Energy > Power Industry
  - Utilities (0.93)
- Information Technology > Security & Privacy (0.93)
- Transportation (0.93)

Technology:
- Information Technology
  - Artificial Intelligence > Representation & Reasoning
    - Logic & Formal Reasoning (1.00)
  - Security & Privacy (0.93)
  - Software > Programming Languages (1.00)
  - Software Engineering (1.00)

Duplicate Docs Excel Report

Title
None found

Similar Docs Excel Report more

Title	Similarity	Source
None found