Pages that link to "Item:Q5255086"

The following pages link to Abstraction-guided synthesis of synchronization (Q5255086):

Displaying 3 items.

• \textsc{NeVer}: a tool for artificial neural networks verification (Q421446) (← links)
• Program repair without regret (Q746769) (← links)
• From non-preemptive to preemptive scheduling using synchronization synthesis (Q5892421) (← links)