Matches in DBpedia 2015-10 for { ?s ?p "BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project. It aims to support formal program verification."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- BitC abstract "BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project. It aims to support formal program verification.".
- BitC comment "BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project. It aims to support formal program verification.".