logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
S

SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025

IF
论文数16
被引数
期刊论文 16
发表时间
delete
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHammer, Abigail; Zhang, Changjian; Dini, Vick; Wagner, Ryan; Schmerl, Bradley; Kang, Eunsuk; Garlan, David
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLin, Shijie; Touili, Tayssir
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFranceschi, Andrea; Galletta, Letterio; Degano, Pierpaolo
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSoaibuzzaman; Doering, Jenny; Kasi, Srinivasulu; Ringert, Jan Oliver
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChristensen, Katrine; Varshosaz, Mahsa; Pardo, Raul
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFarber, Henriette; Pascual, Romain; Stubinger, Terru; Ulbrich, Mattias
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCarreira, Carolina; Ferreira, Joao F.; Mendes, Alexandra; Christin, Nicolas
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlbert, Elvira; Genaim, Samir; Gordillo, Pablo; Hernandez-Cerezo, Alejandro; Martin Martin, Enrique; Rubio, Albert
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCarreira, Carolina; Silva, Alvaro; Abreu, Alexandre; Mendes, Alexandra
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBoockmann, Jan H.; Jacob, Kerstin; Luettgen, Gerald
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFigge, Julius; Knuplesch, David; Maletti, Andreas; Zuvic, Dragan
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteda Silva, Guilherme Horta Alvares; Ahrendt, Wolfgang; Bubel, Richard
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWu, Valentina; Mendes, Alexandra; Abreu, Alexandre
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCartellier, Quelen; Frappier, Marc; Mammar, Amel
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaier, Christel; Chau, Calvin; Drobitko, Volodymyr; Jantsch, Simon; Klueppelholz, Sascha
delete分享
delete收藏
deleteSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAxelsen, Magnus Kallestrup; Kristjansen, Martin; Larsen, Kim Guldstrand; Lauritsen, Thomas Grubbe Sandborg
delete分享
delete收藏