H. Partsch

1 ta ish

Technical University of Munich

1. Existential quantifiers in abstract data types

   Manfred Broy, Walter Dosch, H. Partsch +2

   Bob19797 iqtibos

   ABIABI:AkademIndex/2026.other.408869