scientific article; zbMATH DE number 1759448

zbMath0996.68518MaRDI QIDQ4536398

Leonor Prensa Nieto, Javier Esparza

Publication date: 8 October 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example ⋮ A verified generational garbage collector for CakeML ⋮ A verified generational garbage collector for CakeML ⋮ Simple concurrent garbage collection almost without synchronization ⋮ Fine-grained concurrency with separation logic

Uses Software

• Unnamed Item
• Unnamed Item

This page was built for publication: