从50查看出版物1-50
2024
2023
2022
2021
2020
2019
- 在计算机科学和软件工程高等教育课程中植根形式方法——白皮书-安东尼奥·塞隆,马库斯·罗根巴赫,詹姆斯·达文波特,凯西·丹纳,玛丽·法雷尔,Magne Haveraaen公司,法伦·莫勒,菲利普·科纳,塞巴斯蒂安·克林斯,彼得·塞巴·奥尔夫茨基,伯恩德·霍尔格·施林格洛夫,尼古拉·席洛夫0002,鲁斯塔姆·朱马甘贝托夫.fmfun 2021年:1-26 [美国国防部]
2018
2017
2016
2015
2014
2010
2008
2007
2006
2005
2004
2003
2002
2001
2000
1998
1997
1993
1992
1990
登录或注册以查看更多结果。