×
Edit Profile (opens in new tab)

Świda, Oskar

Co-Author Distance
Author ID: swida.oskar Recent zbMATH articles by "Świda, Oskar"
Published as: Świda, Oskar
Documents Indexed: 2 Publications since 2008
Co-Authors: 2 Co-Authors with 2 Joint Publications
22 Co-Co-Authors

Co-Authors

0 single-authored
2 Mirkowska, Grazyna
2 Salwicki, Andrzej

Serials

2 Fundamenta Informaticae

Fields

2 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼
Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. Zbl 1159.68360
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar
1
2008
Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. Zbl 1159.68360
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar
1
2008

Cited by 1 Author

1 Bancerek, Grzegorz

Cited in 1 Serial

1 Formalized Mathematics

Cited in 1 Field

1 Mathematical logic and foundations (03-XX)

Citations by Year