References in zbMATH (referenced in 38 articles )

Showing results 1 to 20 of 38.
Sorted by year (citations)

1 2 next

  1. Benzmüller, Christoph; Sultana, Nik; Paulson, Lawrence C.; Theiß, Frank: The higher-order prover Leo-II (2015)
  2. Castro, Pablo F.; Aguirre, Nazareno; Pombo, Carlos L.; Maibaum, T.S.E.: Categorical foundations for structured specifications in $\mathsfZ$ (2015)
  3. Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus: Towards an institutional framework for heterogeneous formal development in UML. -- A position paper -- (2015)
  4. Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf: Refinement in hybridised institutions (2015)
  5. Raggi, Daniel; Bundy, Alan; Grov, Gudmund; Pease, Alison: Automating change of representation for proofs in discrete mathematics (2015)
  6. James, Phillip; Roggenbach, Markus: Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (2014)
  7. Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.: The role of logical interpretations in program development (2014)
  8. Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang: A qualitative comparison of the suitability of four theorem provers for basic auction theory (2013)
  9. Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
  10. Codescu, Mihai: Lambda expressions in Casl architectural specifications (2012)
  11. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina: Towards logical frameworks in the heterogeneous tool set Hets (2012)
  12. O’Reilly, Liam; Mossakowski, Till; Roggenbach, Markus: Compositional modelling and reasoning in an institution for processes and data (2012)
  13. Sannella, Donald; Tarlecki, Andrzej: Foundations of algebraic specification and formal software development. (2012)
  14. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian: Project abstract: logic atlas and integrator (LATIN) (2011)
  15. Codescu, Mihai; Mossakowski, Till: Refinement trees: calculi, tools, and applications (2011)
  16. Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian: Integrating Maude into Hets (2011)
  17. Diaconescu, Răzvan: Grothendieck inclusion systems (2011)
  18. Horozal, Fulya; Rabe, Florian: Representing model theory in a type-theoretical logical framework (2011)
  19. Lange, Christoph: Enabling collaboration on semiformal mathematical knowledge by semantic web integration (2011)
  20. Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S.: Hybrid specification of reactive systems: an institutional approach (2011)

1 2 next