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.

execution, frama-c, verification, (16 more...)

Communications of the ACM

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

Journals Web Page

Country:
- Asia
  - China (0.04)
  - Russia (0.04)
- Europe
  - Austria (0.04)
  - France
    - Auvergne-Rhône-Alpes > Isère
      - Grenoble (0.04)
    - Bourgogne-Franche-Comté > Doubs
      - Besançon (0.04)
    - Occitanie > Haute-Garonne
      - Toulouse (0.04)
  - Germany (0.04)
  - Portugal (0.04)
  - Russia (0.04)
- South America > Brazil (0.04)

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