@inproceedings{GAIinPBL2025,
	author = "Tom van Dijk and Vadim Zaytsev",
	title = "{The Impact of Generative Artificial Intelligence Tools in Project-Based Learning}",
	booktitle = "{Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)}",
	year = 2025,
	editor = "Bernhard Steffen",
	volume = "16032",
	series = "LNCS",
	pages = "1--29",
	publisher = "Springer",
	doi = "10.1007/978-3-032-01377-4_3",
}