Suchergebnisse für: "generically automating separation logic by functors homomorphisms andr modules"