Splint

swMATH18405MaRDI QIDQ30245FDOQ30245

Author name not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Are the logical foundations of verifying compiler prototypes matching user expectations?
• A memory-related vulnerability detection approach based on vulnerability model with Petri Net

This page was built for software: Splint