Alexey Gotsman · 2 obras en el catálogoObrasLogics and analyses for concurrent heap-manipulating programsFFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and Systems
FFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and Systems