Get started
Author

Elijah Brick

Observed name: Brick, Elijah
OpenAlex ID: A5093047614
On the persistent rumors of the programmer’s imminent demise
2023 · Hessam Mohammadi, Wided Ghardallou, et al. · Software & Systems Modeling · 2
Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis
2023 · Hessamaldin Mohammadi, Wided Ghardallou, et al. · IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)
Invariant Relations: A Bridge from Programs to Equations
2023 · Ghardallou, Wided, Mohammadi, Hessamaldin, et al. · arXiv (Cornell University)
PDF
Works count: 3
Citation count: 2
H-index: 1
I10-index:
Year
Topic
Type