10
Publications
169
Citations
10
H-Index
2005
Active since
Dorota Leszczyńska-Jasion is an author at Adam Mickiewicz University in Poznań specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationBusinessLanguageSemanticsInnovationManagement
Publications per year
2005–2018
10
10
Dorota Leszczyńska-Jasion, Mariusz Urbański, Andrzej Wiśniewski · Studia Logica · 2012 · 16 citations
Rows per page
1–5 of 10