Solin, Kim

name

• Solin, Kim

Authored works

• Abstract algebra of program refinement
• Refinement algebra extended with operators for enabledness and termination

Works contributed to

• Advocatus scientiae : en filosofisk vänbok tillägnad Hans Rosing

Works about Solin, Kim