WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code

Julia Laetitia Lawall, Julien Pierre Manuel Brunel, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller

211 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab