What is the abbreviation for Application formal software specifications?

Looking for the shorthand of Application formal software specifications or how to abbreviate it? We have 2 shorthands for Application formal software specifications.