Subgroup Depth and Twisted Coefficients
Hernandez, Alberto, Kadison, Lars, Szamotulski, Marcin
Published in Communications in algebra (02.08.2016)
Published in Communications in algebra (02.08.2016)
Get full text
Journal Article
Flexible Formality Practical Experience with Agile Formal Methods
Kant, Philipp, Hammond, Kevin, Coutts, Duncan, Chapman, James, Clarke, Nicholas, Corduan, Jared, Davies, Neil, Díaz, Javier, Güdemann, Matthias, Jeltsch, Wolfgang, Szamotulski, Marcin, Vinogradova, Polina
Published in Trends in Functional Programming (2020)
Published in Trends in Functional Programming (2020)
Get full text
Book Chapter