Executable Formal Semantics for the Posix Shell
Presented on February 21, 2020
Presenter: Zach
Presenter: Zach
Preview
Zach will present the paper “Executable Formal Semantics for the Posix Shell” by Michael Greenberg and Austin Blatt.
Zach will present the paper “Executable Formal Semantics for the Posix Shell” by Michael Greenberg and Austin Blatt.