Brae's Bibliography

A collection of useful references from my bibtex repository.
HTML is generated using bibtex2html.

• Generative AI in Computer Science Education
• Formal Methods
• Computer Science Classics
• Software Engineering