About this scholarly article

Using Symbolic Execution for Verifying Safety-critical Systems is a scholarly article available to read on EtoBox.