Skip to content

Commit

Permalink
more
Browse files Browse the repository at this point in the history
  • Loading branch information
kohlhase committed Apr 25, 2024
1 parent adfcd86 commit 594e10e
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions extpubs.bib
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,14 @@ @STRING{wil
@STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}

@book{WieBea:sr13,
title = {Software Requirements},
edition = {3},
author = {Karl Wiegers and Joy Beatty},
year = {2013},
publisher = {Microsoft Press}
isbn = {9780735679658}}

@InProceedings{BraDavSan:cecacmp09,
title = "{A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy}",
author = {Bradford,R.J. and Davenport,J.H. and Sangwin,C.J.},
Expand Down

0 comments on commit 594e10e

Please sign in to comment.