Hardware/Software Co-Assurance using the Rust Programming Language and ACL2 |
|
| Author | |
| Year of Publication |
2022
|
| Journal |
Electronic Proceedings in Theoretical Computer Science
|
| Volume |
359
|
| Date Published |
may, pages=202–216
|
| ISSN Number |
2075-2180
|
| URL | |
| DOI |
10.4204/eptcs.359.16
|
| Google Scholar | BibTeX | DOI |
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.