Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Filters
Results by year
Table representation of search results timeline featuring number of search results per year.
Year | Number of Results |
---|---|
2016 | 1 |
2021 | 1 |
2024 | 0 |
Search Results
2 results
Results by year
Filters applied: . Clear all
Page 1
Safe-by-Design in Engineering: An Overview and Comparative Analysis of Engineering Disciplines.
Int J Environ Res Public Health. 2021 Jun 11;18(12):6329. doi: 10.3390/ijerph18126329.
Int J Environ Res Public Health. 2021.
PMID: 34208018
Free PMC article.
Review.
A Formal C Memory Model for Separation Logic.
Krebbers R.
Krebbers R.
J Autom Reason. 2016;57(4):319-387. doi: 10.1007/s10817-016-9369-1. Epub 2016 May 10.
J Autom Reason. 2016.
PMID: 30174361
Free PMC article.
Item in Clipboard
Cite
Cite