BibSonomy publications for /author/Maibaum http://www.bibsonomy.org/author/Maibaum BibSonomy RSS Feed for /author/Maibaum Handbook of Logic in Computer Science http://www.bibsonomy.org/bibtex/2d282dae804e0342d5fcddbcbf5a88b7c/acbullinger acbullinger 2008-12-01T17:41:36+01:00 diss
Handbook of Logic in Computer Science
Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum (eds.). (1992-2000)
to diss by acbullinger and 1 other person on 2008-12-01 17:41:36
]]> Background Computational structures http://www.bibsonomy.org/bibtex/26e4d3132f9ae6500dacb40bbda7a42d7/acbullinger acbullinger 2008-12-01T17:41:36+01:00 diss
Background Computational structures
Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science (1992-2000)
to diss by acbullinger and 1 other person on 2008-12-01 17:41:36
]]> Semantic structures http://www.bibsonomy.org/bibtex/2465d9fef3d59cde9ac5d5d8bb4490f6e/acbullinger acbullinger 2008-12-01T17:41:36+01:00 diss
Semantic structures
Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science Vol. 3 (1992-2000)
to diss by acbullinger and 1 other person on 2008-12-01 17:41:36
]]> Background Mathematical structures http://www.bibsonomy.org/bibtex/2d48786b9cfde55f4d6e71756b8bf001b/acbullinger acbullinger 2008-12-01T17:41:36+01:00 <Mathematik>Mathematische LogikInformatik Struktur
Background Mathematical structures
Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science Vol. 1 (1992-2000)
to <Mathematik>Mathematische LogikInformatik Struktur by acbullinger and 1 other person on 2008-12-01 17:41:36
]]> Logic and algebraic methods http://www.bibsonomy.org/bibtex/2869d237c77456033716b12d21fe181cc/acbullinger acbullinger 2008-12-01T17:41:36+01:00 Computer Informatik LogikTheoretische Symbolic and mathematicalMathematische scienceLogic,
Logic and algebraic methods
Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science Vol. 5 (1992-2000)
to Computer Informatik LogikTheoretische Symbolic and mathematicalMathematische scienceLogic, by acbullinger and 1 other person on 2008-12-01 17:41:36
]]> Semantic modelling http://www.bibsonomy.org/bibtex/21e1f1b563158e29b39fa1defa4a0c5f1/acbullinger acbullinger 2008-12-01T17:41:36+01:00 diss
Semantic modelling
Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science Vol. 4 (1992-2000)
to diss by acbullinger and 1 other person on 2008-12-01 17:41:36
]]> Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. dblp http://www.bibsonomy.org/bibtex/23b8030e9a32f746c408197a9e76669ec/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.
John Hatcliff ICFEM 3-4 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> Programmers Ain't Mathematicians, and Neither Are Testers. dblp http://www.bibsonomy.org/bibtex/2c256fcbffc164906d795d29d515597a8/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Programmers Ain't Mathematicians, and Neither Are Testers.
Jeff Offutt ICFEM 2 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> Towards Abstraction for DynAlloy Specifications. dblp http://www.bibsonomy.org/bibtex/2c1da32136e346882397dd5fe040c22b2/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Towards Abstraction for DynAlloy Specifications.
Nazareno Aguirre and Marcelo F. Frias and Pablo Ponzio and Brian J. Cardiff and Juan P. Galeotti and Germán Regis ICFEM 207-225 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> A Formal Descriptive Semantics of UML. dblp http://www.bibsonomy.org/bibtex/2438b74b94c6984774dff99b924ee15c3/dblp dblp 2008-10-23T00:00:00+02:00 dblp
A Formal Descriptive Semantics of UML.
Lijun Shan and Hong Zhu ICFEM 375-396 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]>