Limi

swMATH20206MaRDI QIDQ32026FDOQ32026

Author name not available (Why is that?)

Cited In (4)

• Abstract semantic diffing of evolving concurrent programs
• From non-preemptive to preemptive scheduling using synchronization synthesis
• From non-preemptive to preemptive scheduling using synchronization synthesis
• Introduction to model checking

This page was built for software: Limi